Constraint logic programming - PDFSEARCH.IO - Document Search Engine

Constraint logic programming
Results: 401

#	Item
261	The Chaos Within Sudoku M´ aria Ercsey-Ravasz1, ∗ and Zolt´an Toroczkai2, 3, † arXiv:1208.0370v1 [nlin.CD] 1 Aug 2012 Add to Reading List Source URL: arxiv.org Language: English - Date: 2012-08-02 20:18:34 NP-complete problems Logic puzzles Recreational mathematics Constraint programming Logic in computer science 2-satisfiability Sudoku Constraint satisfaction Boolean satisfiability problem Theoretical computer science Mathematics Computational complexity theory
262	Submission to CONSTRAINTS Stochastic Constraint Programming: A Scenario-Based Approach Abstract To model combinatorial decision problems involving uncertainty and probability, we introduce scenario based stochastic cons Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2006-01-21 00:55:03 Computer programming Constraint satisfaction Stochastic Constraint optimization Mathematical optimization Random variable Linear programming Constraint logic programming Stochastic modelling Constraint programming Software engineering Mathematics
263	MICHAEL MOLLOY, University of Toronto Sharp Thresholds in Random Constraint Satisfaction Problems We consider a wide family of models for random constraint satisfaction problems. This family includes random k-SAT, random Add to Reading List Source URL: cms.math.ca Language: English - Date: 2006-07-10 21:18:21 Mathematical logic Logic in computer science Boolean algebra Boolean satisfiability problem Electronic design automation Constraint satisfaction Satisfiability Theoretical computer science Constraint programming Mathematics
264	metaSMT: Focus On Your Application Not On Solver Integration Finn Haedicke Stefan Frehse Add to Reading List Source URL: www.informatik.uni-bremen.de Language: English - Date: 2011-09-06 04:07:56 Constraint programming Electronic design automation Formal methods Logic in computer science NP-complete problems Satisfiability Modulo Theories Boolean satisfiability problem Solver Constraint satisfaction problem Theoretical computer science Applied mathematics Mathematics
265	RCC8 Is Polynomial on Networks of Bounded Treewidth Add to Reading List Source URL: ijcai.org Language: English - Date: 2011-06-29 07:11:21 Knowledge representation Logic Constraint programming Computational topology Region connection calculus Mathematics Mathematical logic Cognitive science
266	metaSMT: A Unified Interface to SMT-LIB2 Heinz Riener1 Mathias Soeken1,2 Clemens Werther1 Add to Reading List Source URL: www.informatik.uni-bremen.de Language: English - Date: 2014-07-29 13:06:58 Electronic design automation Formal methods Logic in computer science Constraint programming Satisfiability Modulo Theories Solver Boolean satisfiability problem Timeout Transmission Control Protocol Theoretical computer science Applied mathematics NP-complete problems
267	metaSMT: Focus On Your Application Not On Solver Integration Finn Haedicke, Stefan Frehse, Görschwin Fey, Daniel Große, Rolf Drechsler Group of Computer Architecture, University of Bremen, Germany Add to Reading List Source URL: www.informatik.uni-bremen.de Language: English - Date: 2014-02-05 05:31:31 Logic in computer science Electronic design automation NP-complete problems Constraint programming Satisfiability Modulo Theories Valuation Integer factorization Theoretical computer science Applied mathematics Formal methods
268	Filtering algorithms for the multiset ordering constraint Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2009-01-14 01:44:49 Constraint satisfaction problem Constraint inference Constructible universe Constraint satisfaction Constraint logic programming AC-3 algorithm Constraint programming Computing Local consistency
269	AI @ NICTA Nick Barnes, Peter Baumgartner, Tiberio Caetano, Hugh Durrant-Whyte, Gerwin Klein, Penelope Sanderson, Abdul Sattar, Peter Stuckey, Sylvie Thiebaux, Pascal Van Hentenryck, Toby Walsh Abstract NICTA is Australi Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2013-05-20 09:25:04 Mathematics NICTA Formal methods Constraint programming Operations research Solver Formal verification Open Kernel Labs Isabelle Applied mathematics Theoretical computer science Logic in computer science
270	cKanren miniKanren with Constraints Claire E. Alvis Jeremiah J. Willcock Kyle M. Carter William E. Byrd Add to Reading List Source URL: www.schemeworkshop.org Language: English - Date: 2011-11-05 13:18:14 Computer programming Constraint logic programming Function Constraint satisfaction problem FO Free variables and bound variables Sheaf AC-3 algorithm Constraint satisfaction Constraint programming Software engineering Mathematics

UPDATE